Monitoring facilities in languages supporting development of concurrent self-measurement programs

نویسندگان

  • Yusuke Nonaka
  • Kazuo Ushijima
  • Jingde Cheng
چکیده

Large-scale and highly reliable concurrent systems are more and more required and it is indispensable for them to keep on measuring and monitoring an order to ensure their reliability. Some systematic method for developing self-measurement concurrent systems has been needed. Self-measurement programs may be dificult to be developed and maintained in conventional environment for development. This paper presents the concept of the measurement handler, which is an approach to support development of self-measurement systems with programming languages. As a concrete example, we present the programming language Ada MH, which is an extension of Ada 95 with the measurement handler. In this paper, implementation of a processang system for Ada M H is also presented.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Zing: Exploiting Program Structure for Model Checking Concurrent Software

Model checking is a technique for finding bugs in systems by systematically exploring their state spaces. We wish to extract sound models from concurrent programs automatically and check the behaviors of these models systematically. The zing project is an effort to build a flexible infrastructure to represent and model check abstractions of large concurrent software. To support automatic extrac...

متن کامل

Rule-Based Expression Mechanisms for Procedural Languages

We report on experiences on adding a rule based expression mechanism to an existing procedural programming language (C++) and on designing and implementing a self-contained language { and its integrated programming environment { supporting similar but more general capabilities. Both languages, XC and XE, are based on abstract data types and XE is a close relative of CLU. Its programming environ...

متن کامل

Comparison of two methods of education (lecture and self learning) on knowledge and practice of mothers with under 3 year old children about growth monitoring and nutritional development stages

Introduction: Assessment of national children growth has shown children‘s growth failure in a large percentage of them in Iran. Growth failure is easily diagnosed by growth monitoring card .On the other hand, mothers’ Knowledge of Nutritional development stages can help them to modify their practice in this field .In this case, conducting educational and interventional programs play a key role ...

متن کامل

Exploring the Conceptions of Academic Reading Comprehension by Iranian Graduate Students of Applied Linguistics

Although the importance of reading in higher education as an index of success has been highlighted, the metacognitive knowledge or beliefs of graduate students have remained under-researched. This qualitative study reports on a study that, first, examines how graduate students of applied linguistics conceive of academic reading and academic readers in their graduate programs; second, wh...

متن کامل

Dynamic Slicing of Concurrent Programs : Where are We and Where is the Right Way ? ( Extended

Program slicing has been developed as a standard technique used in various software engineering activit ies including program understanding, testing, debugging, maintenance, and complexity measurement. Although both static and dynamic slicing of sequential programs have been applied to software engineering practices, there still are some challenges, problems and issues in slicing concurrent pro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000